Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
981	From Classical to Intuitionistic Probability Brian Weatherson Abstract We generalize the Kolmogorov axioms for probability calculus to obtain conditions defining, for any given logic, a class of probability functions rel Add to Reading List Source URL: brian.weatherson.org Language: English - Date: 2010-04-14 09:32:33 Philosophy of mathematics Epistemology Mathematical constructivism Bayesian statistics Non-classical logic Intuitionistic logic Bayesian probability Probability Intuitionism Logic Science Mathematics
982	Analyzing Module Diversity1 Alexandre Bergel (Software Composition Group, University of Bern, Switzerland [removed]/∼scg) St´ ephane Ducasse Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2012-07-29 09:42:05 Lambda calculus Module theory Namespace Fixed-point combinator Perl module Simple module Module Combinatory logic D-module Software engineering Mathematics Abstract algebra
983	A Tutorial on the Curry-Howard Correspondence Darryl McAdams April 9, 2013 Abstract Typical introductions to the Curry-Howard Correspondence employ Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-08-26 10:29:00 Proof theory Propositional calculus Deduction Boolean algebra Natural deduction Curry–Howard correspondence Negation Rule of inference Existential quantification Logic Mathematical logic Mathematics
984	REGULAR PROBABILITY COMPARISONS IMPLY THE BANACH-TARSKI PARADOX ALEXANDER R. PRUSS Abstract. Consider the regularity thesis that each possible event has non-zero probability. H´ ajek challenges this in two ways: (a) the Add to Reading List Source URL: alexanderpruss.com Language: English - Date: 2014-04-15 12:18:35 Logic Banach–Tarski paradox Event Axiom of choice Probability axioms Constructible universe Conditional probability Independence Zermelo–Fraenkel set theory Probability theory Mathematics Mathematical logic
985	The Universe Among Other Things Achille C. Varzi Department of Philosophy, Columbia University [Final version published in Ratio 19:[removed]), 107–120] Abstract. Peter Simons has argued that the expression ‘the unive Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2006-02-13 01:47:31 Logic Mereology Predicate logic Category of being Universe Being Mereological essentialism Simple Metaphysics Ontology Philosophy
986	Knowledge and suberogatory assertion * JOHN TURRI [removed] Abstract: I accomplish two things in this paper. First I expose some important limitations of the contemporary literature on the norms Add to Reading List Source URL: john.turri.org Language: English - Date: 2015-01-29 22:52:09 Ethics Theories of truth Veracity Norm Philosophy of language Philosophy of law Epistemology Truth Assertion Philosophy Logic Philosophical logic
987	Against Magnetism∗ Wolfgang Schwarz 22 Dec 2012 Abstract. Magnetism in meta-semantics is the view that the meaning of our words is determined in part by their use and in part by the objective Add to Reading List Source URL: www.umsu.de Language: English Meaning Philosophical logic Philosophy of language Semantics Analytic philosophers Truth Theory David Lewis Philosophy Logic Analytic philosophy
988	1 The Conversational Role of Centered Contents Max Kölbel For Inquiry Abstract: Some philosophers, for example David Lewis, have argued for the need to Add to Reading List Source URL: www.ub.edu Language: English - Date: 2013-04-16 08:45:29 Modal logic Epistemology Mathematics Abstraction Logic If and only if Software portability
989	Two Views of the Logic of Plurals and a Reduction of One to the Other Nino B. Cocchiarella Indiana University Abstract There are di¤erent views of the logic of plurals that are now in circulation, two of which we will c Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2013-04-30 15:04:56 Mathematics First-order logic Free logic Predicate Function Mereology Grammatical number Singular they Plural Logic Mathematical logic Predicate logic
990	Lewisian Meaning without Naturalness Wolfgang Schwarz Draft, January 4, 2006 Abstract. It is widely assumed that objective naturalness plays a central role in Lewis’s theory meaning. I argue that this is w Add to Reading List Source URL: www.umsu.de Language: English Philosophy Philosophical logic Meaning Semantics Psycholinguistics Truth Proposition Sense and reference Intentionality Logic Linguistics Philosophy of language

UPDATE